Solving Linear Diophantine Constraints Incrementally
نویسنده
چکیده
In this paper, we show how to handle linear Diophantine constraints incre-mentally by using several variations of the algorithm by Contejean and Devie (hereafter called ABCD) for solving linear Diophantine systems 4, 5]. The basic algorithm is based on a certain enumeration of the potential solutions of a system, and termination is ensured by an adequate restriction on the search. This algorithm generalizes a previous algorithm due to Fortenbacher 2], which was restricted to the case of a single equation. Note that using Fortenbacher's algorithm for solving systems of Diophantine equations by repeatedly applying it to the successive equations is completely unrealistic: the tuple of variables in the solved equation must then be substituted in the rest of the system by a linear combination of the minimal solutions found in which the coeecients stand for new variables. Unfortunately, the number of these minimal solutions is actually exponential in both the number of variables and the value of the coeecients of the equation solved. In contrast, ABCD solves systems faster, without any intermediate blow-up, since it considers the system as a whole. Besides, and this is the new feature described in this paper, it can easily tolerate additional constraints such as membership constraints, linear monotonic inequations, and so on. This is due to the enumeration of tuples which allows a componentwise control of potential solutions. This is not the case with others (more recent) algorithms for solving systems of Diophantine equations, which are based on algebraic and combinatorial techniques 7, 17].
منابع مشابه
An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations
In this paper, we describe an algorithm for solving systems of linear Diophantine equations based on a generalization of an algorithm for solving one equation due to Fortenbacher 3]. It can solve a system as a whole, or be used incrementally when the system is a sequential accumulation of several subsystems. The proof of termination of the algorithm is diicult, whereas the proofs of completenes...
متن کاملAn algorithm for solving a diophantine equation with lower and upper bounds on the variables
We develop an algorithm for solving a diophantine equation with lower and upper bounds on the variables. The algorithm is based on lattice basis reduction, and rst nds short vectors satisfying the diophantine equation. The next step is to branch on linear combinations of these vectors, which either yields a vector that satis es the bound constraints or provides a proof that no such vector exist...
متن کاملOn Solving Linear Diophantine Systems Using Generalized Rosser’s Algorithm
A difficulty in solving linear Diophantine systems is the rapid growth of intermediate results. Rosser’s algorithm for solving a single linear Diophatine equation is an efficient algorithm that effectively controls the growth of intermediate results. Here, we propose an approach to generalize Rosser’s algorithm and present two algorithms for solving systems of linear Diophantine equations. Then...
متن کاملIntegrating Constraint Propagation in Complete Solving of Linear Diophantine Systems
Several complete methods for solving linear Diophantine constraints have been proposed. They can handle innnite domains, but their pruning during search is relatively weak. In contrast to those, consistency techniques based constraint propagation provides stronger pruning and have been applied successfully to many combinatorial problems, but are limited to nite domains. This paper studies the c...
متن کامل